1. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir Vladimir
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic, Symbolic and mathematical , Inference
رده :
QA
9
.
R986
1997
2. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir V. )Vladimir Vladimir(
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical,، Inference
رده :
QA
9
.
R986
1997
